//
//  unop.h
//  ltlbmc
//
//  Created by GD Huang on 5/22/12.
//  Copyright (c) 2012 __MyCompanyName__. All rights reserved.
//

#ifndef ltlbmc_unop_h
#define ltlbmc_unop_h

namespace cilast {
    
    enum unop {
        Neg,
        BNot,
        LNot
    };
}

#endif
